First-order predicate calculus
pure predicate calculus of first order
first order predicate logic
first order predicate rule
first-order predicate expression
high order predicate calculus
higher order predicate calculus
second order predicate calculus
a pseudo-first-order kinetics
advanced first order and second moment method
advanced first order second moment AFOSM
advanced first order second moment method
advanced first-order second-moment method
advanced mean value-first order method
Advanced-mean-value-first-order method
Advancing Latin hypercube sampling(LHS) first-order reliability method
ameliorative first-order second-moment method